(0 20 15)(1 19 17)(2 18 4)(3 7 5)(6 10 8)(9 14 11)(12 16 13)
ALLOWS (11/8)-SEQUENCE
1: (0 3 15)
(0)(1 19 17)(2 18 4)(3 20 15 7 5)(6 10 8)(9 14 11)(12 16 13)
2: (2 18 4)
(0)(1 19 17)(2)(3 20 15 7 5)(4)(6 10 8)(9 14 11)(12 16 13)(18)
3: (1 19 17)
(0)(1)(2)(3 20 15 7 5)(4)(6 10 8)(9 14 11)(12 16 13)(17)(18)(19)
4: (7 20 15)
(0)(1)(2)(3 20 5)(4)(6 10 8)(7)(9 14 11)(12 16 13)(15)(17)(18)(19)